export cons